make booter work if 'ghcjs-boot' is not a git repository