Weaken phrasing of 'must be compiled' with SCONS.