Autotools fix