[Fix] Ubuntu 12.04 support for vcsh