changes to compile with Xcode 5.01