GencodeOptions.getVersion uses String[] for exec