Bug in debugging on Linux has been fixed