Change format of dacapo command passed to OSv