Makefile.defs: version set to 4.2.0-dev7