Issue #119: dist-all target