Use .json extension for result dump files