Xdedug is installed, not an option