#5147: please block the following packages from devel