dumol

Backported fix at https://github.com/Homebrew/homebrew-core/pull/3922

Had these VMs running with latest VirtualBox 6.0 under macOS 10.15 and with latest VirtualBox 5.2 under Ubuntu 18.04. No issues at all running them and using mouse and keyboard...

Apparently still an issue with upstream-provided 2.5.0 packages on Ubuntu 16.04 LTS.

Fixed with https://github.com/kimchi-project/kimchi/pull/1258?

Fixed with https://github.com/kimchi-project/kimchi/pull/1258?

Fixed with https://github.com/kimchi-project/kimchi/pull/1258?

@adiroiban, thank you for the tip! Using UTF-8 locale settings works indeed, but setting $LANG is not enough, I used $LC_ALL. However, even that is not enough all the time,...

Thanks for the quick feedback! I'm slower, as this beast is hosted remotely and kept mostly stopped because it's a power hog. Next issue: ``` $ make cc -DEMACS -DVI...

Same error occurs, as the branching doesn't function as expected, it seems. I guess it's not the right thing to do, but if I use `#ifdef __hpux__` instead, I get...

> Ah. That tells me that **hpux** isn't the right define to detect HPUX. That's fine; I'll make it a more generic check for VDISCARD. OK. For now, I'll keep...