fix installation by removing ghcjs-patch executable