Suppressing filectime warning (fixes #27)