Now we assume that RuntimeErrorCatcher does not need to alter php settings.
Misc changes.