suppress 'mangling has changed...' warning