travis-ci fix #1100