After doing a cvs update, it is strongly recommended to do a $ make depend before doing a make Maarten