Strictly speaking, we shouldn't commit the Makefiles since ./configure
generates them.