Fix git checkout on the right tag