make automake-1.13 happy again