fix linux linker error