Fix weird build problem on some Ubuntu machines.