Port benchmark launcher to Linux