Use the standard Python filename extension