[#1567] Resolve "EXTRA_DIST issues found during 1.9.2 sanity checks"

Edited by Andrei Pavel

Merge request reports