Fixed command line to handle new executable name of HipHop VM