Board filename cannot contain any dots

If the filename of the board file contains any dots (except for the one separating the name from the extension), the expected filename of the generated files is wrong and the generated files cannot be found by the plugin.