src/compiler: Fixed a bug introduced in 12aa1609, erasure compiler was not updated...