Undo the new --enable-developer flags that caused breakage on gcc != 3.2, and