Fix several issues with restartpoint and temporary files reports. Thanks to Guillaume Lelarge for the report.