add an option to enable synchronous debugging