Fix travis-ci config. Disable pre-dexing