Fix a little bug when retreiving edk2 sources