Commit 333f3cf7565d588b483a3ac82193bd8ba0a93bec

DRC 2015-08-15T17:04:58

Fix 'make dist'