debugger: Try to be more helpful if linux libraries are not installed. Fixes #774.