user ghcjs-boot repository in boot script