matthewtrescott/supertuxkart-1.3.95 - 28 October 2017 - Include new benchmarking flags, more options, update to v0.9.3-rc1