Fix problems with linux build