Finally got Travis CI to upload the right file (I think)