Update ports to use gcc42?