tweaks to developer scripts in misc/