fix linux detection

Right now this didn't matter, since the default is the same
as for linux, but later it might.