Consegui resolver este problema. Eu apaguei a instalação que eu tinha e instalei (com chmod
755) os últimos arquivos Scribunto do desenvolvimento. Eu suspeito que as últimas cópias de trabalho tinham um patch para o bug que encontrei. Depois de fazer isso, não tive mais o erro acima.