Ports for Crux 3.0