Add some missing .m4 files