Replace hardcoding of object file suffixes in make, to ensure they are always reliably set from a single place in autoconf, which also simplifies things