update to scala 0.12.4