Do not retry to fetch non-existent files.

Miracles won't happen: if a server tells that a file does not exist,
then we shouldn't try to fetch it again and again.