boot libraries for ghcjs