travis adds the right file the the github release