integrate with travis-ci