When I was at university, my workaround was to patch the relevant bytes in the saved file to reset the timestamp. (Made even more convenient by running it via a

When I was at university, my workaround was to patch the relevant bytes in the saved file to reset the timestamp. (Made even more convenient by running it via a wrapper script that automatically zeroed the timestamp on exit.)