fix linux compile error