Replaced toStdString which still seems to be needed by Revelation/Video.hs