Hopefully fixed last Travis CI issue