Issue #54: "dist" target for make