codegen debug flag (+RTS -Dc) was unused; remove it