Commit f34f2f5bc63633d385b22bb33388d55d5b1b8c37

DRC 2016-10-05T13:36:35

Fix 'make dist'