better compilation in 1.8