It was a big mistake to use OpenVolumeMesh: Essentially, it provided
very little functionality that I actually needed, required translating
between ids specified in obj files and its own handles, etc.
Essentially, it was a needless dependency that cluttered my code.  Got
rid of it.