chiark / gitweb /
Fix #1019. Change how the engine is looked up, and cache the result.