coq / alt-ergo relocatability