update to new ghcjs boot script