Use now autotools version 1.13