Fix travis-ci config. Disable pre-dexing on build server