make use of Xcode 5 Modules