Bugfix: previously the serial number file could turn negative