Made it build again in linux