Trivial autotools tweaks