On Fri, 27 Nov 2015, Paul Goyette wrote:
> after pull up ticket #1020 linux emulation is broken Pullup #1020 was reverted. Please confirm that this problem is no longer present.
yes, it is fixed. PR can be closed. Best regards, Uwe Klaus