Fix vgabios.bin not found

It's possibly due to bochs's update?