fixed problem when devdesc was not installed
Authored by: ingo <> 2019-09-17
Parent: [df8782]
Child: [d81428]