fix missing symbols