fix devel_config