fix make-pins.py to correctly read the board pins