To play Gulf of Death, open "gulfofdeath.exe" (under Windows) or "gulfofdeath" (under Linux).