fix linux build after 7e8e1c9493a51e4739a507d6f62dadb7db411f78