It's more or less standard that the COQBIN environment variable sets the directory where coq executables are to be found (this is especially convenient with a dev build). This should be considered in configure.ac. Since I don't know much about autoconf I couldn't do it immediately.

If someone with some autoconf experience can fix this, it would be welcome. Otherwise, I might give it a try.