Philipp Marek Sat, 30 Dec 2017 10:33:53 -0800
(4.0.1 doesn't work for me any more, but it did in the past.)
Please provide a package with from the current sources, thank you!