fix linux platform detection