Adjust debug extension for mono on profile 47