fix problem with file name of serialization