Run the Windows version of SeaTools then.