Attempt to fix one of the Travis build errors