Yet another fix because autotools is useless.