Small changes to user-modifiable makefiles.