Added (currently linux only) thread debuggin options.