Ivanti Pulse Secure VPN is apparently using CentOS 6.4 | Hacker News Reader