fix #746: explain why a dev package is installed