fix linux build again