Trying to fix the Travis build