Fix linux compile error