use correct OS name

Signed-off-by: Cheng Zhang <cheng.zhang@citrix.com>