Disable pre-dexing and other Travis-ci config changes..