update DEVEL_DIRECTORY