fix bad sdk dir and bad cartridge ports