Fix for errors caused on platforms where setting the timestamp of a file
is not allowed