Is it a bad idea to trim the pins of GPIO headers? I got this extender, but it's slightly taller than I needed and causing problems. I would like to take them down by 1/8th inch