Work around scala 2.11 bug