Nice naming nixter!

Fix the file name for Battleship Halberd