Make Doxyfile more portable.