make 'make dist' happy