Fix another "make" versus "make dist" build problem.