fix linux compiler error