Minor change in Makefiles.