I'm going to have to blame the tools on this one -- Eclipse + PyDdev have been variously ignoring and resetting the config values I specify.