fix linux boot problems