small bugfix for duplicate filename handling