hopefully the last commit which finally fix the build. I should install
ubuntu again ;)