A simple way to make a unique filename is to to use a GUID (aka UUID). No races, no checking needed!