Since build_ships.pl needs it