* coredep.c: Handle NO_PTRACE_H in coredep.c. Fix by Michael