Fixes for ghcjs-hello