minor autotools fix