Fix includes of reflectionzeug and fix repeated option setting