if [ -z "$PLATFORM" ]; then
PLATFORM=$TRAVIS_OS_NAME;
fi
if [ "$PLATFORM" == "osx" ]; then
PLATFORM="macosx";
if [ "$(uname)" == "Linux" ]; then
PLATFORM="linux";
else
fi;