Fix #766: Parallel build problem