we only know that the build works under Ubuntu