don't strip annos in nabl-get-name