Fix #908: allow lazy-compiling from several threads at once

... is serialized)