Fix linux build, once more, now for real