fix idiot bug in sprintf for /dev/fpgaxxx