Re-enable git checkout in Linux build because git clone --branch doesn't work as expected