Correctly named extension file