Commit d8da49effe6460d55239c4c009c57f42d8e4a494

DRC 2015-09-21T13:45:45

Fix 'make dist'