Now it compiles again under Ubuntu 14.04