fix build on linux again

hopefully both should work now