Attempt to fix travis-ci configuration