Simba Debugger: Make sure we are using PS for debugger.