Fix make dist if boehm is disabled.