install-dir.patch
no-missing-messages.patch
non-static-open-axiom-binary.patch