https://bugzilla.redhat.com/show_bug.cgi?id=851810
--- Comment #7 from Ralf Corsepius rc040203@freenet.de --- (In reply to comment #4)
Are you sure it's not some caching issue on your side?
No, I am not - The version I downloaded 1/2 hour ago still carried the autotools, the version, I downloaded 5 mins ago does not carry the autotools.
That's a situation, which demonstrated, why not bumping the release numbers is not necessarily a clever idea - We will never know what might have happened ;)