Commit 7a72f4afd5b3f57e3fd1097461cc3416061cf6ff

Daniel Veillard 2014-10-13T16:23:24

Fix a couple of issues raised by make dist