On Windows the preference is Courier. Taking a look at the source code, this is not going to automatically fix itself in linux by installing this font. We will look into it further.

Thanks.