Fix release tagging from Travis