Fix build with GNU make 3.81