Backported fix of incremental automaton builders to 0.3.1-ase2013-tutorial