avoid trying to certify read-string on gcl-cltl1 since that doesn't work