Make auto-download of debug symbols optional