Fixes #6699: Fix broken devel installs.