Fix Linux builds again