Fix boards.txt and ing file