Use ghcformacosx. Nuke ephox tools