build: use local VGA BIOS; update output filename