Temporary hack for ghcjs