remove versioning number from loaded file names for better versioning
remove versioning number from loaded file names for better versioning

Ptival/PeaCoq,Ptival/PeaCoq,Ptival/PeaCoq,Ptival/PeaCoq,Ptival/PeaCoq,Ptival/PeaCoq