added CMUCL workaround to run STMX reliably