Fix migrator create always throwing name exception due to file extension (#2138)
Fix migrator create always throwing name exception due to file extension (#2138)


RCOS-Grading-Server/HWserver,Submitty/Submitty,Submitty/Submitty,RCOS-Grading-Server/HWserver,RCOS-Grading-Server/HWserver,Submitty/Submitty,Submitty/Submitty,Submitty/Submitty,RCOS-Grading-Server/HWserver,RCOS-Grading-Server/HWserver,Submitty/Submitty,Submitty/Submitty,RCOS-Grading-Server/HWserver,RCOS-Grading-Server/HWserver,RCOS-Grading-Server/HWserver,Submitty/Submitty,RCOS-Grading-Server/HWserver,Submitty/Submitty