AW: how to install debugging symbols