revert workaround in Serializion.scala