Issue #273: use dev branch of builderCI that points to config_dev ... incest