Build Leon for Scala 2.11