Success! flutter clean cleared whatever intermediate file(s) had the old file name. It also broke dependencies, which I restored with flutter pub get. So if it helps someone else, doing this after changing the file extension (see above) to .m worked for me.