Ignore the idnamecache.json if empty. Fixes #139. Fixes #130.