Fix make dist on Linux.