Trying to fix the Travis config