small tweaks for autotools