minor fix for make dist