Add the linux f20 ports for testing