Fixing debug mode for PUC