make dist fixup
Authored by: Jean-Francois Dockes 2015-08-10
Parent(s): [4ef829]
Child(ren): [5af848]