Okay, so apparently the extension file name will be the same as the source directory name