BUGFIX: undefined "trim_aut" in synth.synthesize()

Bug apparently introduced in 598d43e24a870f48d47de35a6e5d49e3d28c967d
Corresponding test is given in previous commit (254a148176727b22de1544b5db897eaf6e51fda7).