consistently use DEL instead of rm in Makefiles