Mention coordinates of recent Autoconf change, thanks to Stefano Lattarini.