I tried PROCHECK several times this morning, but the only thing I got was something like: "internal error execve() failed"