Fix devel config.