rename extension to try to fix GitHub 404 error