No point requiring extra boot file