dumphtml works for external projects, again