Am I supposed to change the name of the BIOS file to something shorter?