Integer time for filename (no ugly decimal dot), incremented version and regenerated archive.