fix issue #736: explain why a dev package is installed