Bootstrap: fixed call mangled name