make autotools happy