These happen if you never have run the makefile build,
which should become increasingly common.

I didn't bother testing that this doesn't break the makefile build.