Autotools fix (3)