fix travis-configuration