Avoid GNU make extension $(RM) in makefiles.