board: Get rid of weird file extension