fix file extension on bios page