Makefile.defs: version set to 4.2.0-dev9
Makefile.def: corrected commit message regarding the devel version