Fixed bug where github sometimes reported the same file twice while searching, and crashed the bulk compiler.