Hopefully fixing the travis build