yet another try to fix #4, now tested on another linux system