Makefile.defs: version set to 5.2.0-dev9