fix linkage error