get_proper_name: play nice with the no_amps psrchive global setting.