Bug fix for the --devel support