Small bug corrected in the new extension loader from the XML .board file.