Remove some obsolete autotools stuff...