fix for a couple imports in manifoldapi/ that did not comply with
[unfold.git] / debian / compat
1 8