Fix ghcjs.patch