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