Added *allow-flag-redefinition*.
Version 0.7.1