fix travis-ci configuration