Fixing the Travis build