switch file extension

This allows Github to format it nicely.