Do not generate divider code in C compiler if not needed. Fixes #10