Restore previous travis-ci config.