My ports for CRUX linux.