Just the linux platform, since there is only a one linux target