changing extension so that demos can be uploaded properly to pypi