reintegrated with Travis CI