chisel: Work around strange name mangling in current version of Chisel.