Change prebuilt checkout instruction (#106)

Some older/different git configuration may not automatically track the remote origin/prebuilt branch when doing checkout.