Omar's installer might set it to false in your personal.rc, which overrides any themes. This is where you want to set it anyway.

Hopefully that's the problem, cuz otherwise this makes no sense :)