Updated Travis script for Xcode 5