model-checking: update location of output file.