My CRUX (http://www.crux.nu/) Ports.