Cleanup: forgot to actually define the extension on the command line