 Whichever way is correct (I believe, **with** file extension) we should make sure the generated files are correct.