Fix for 5.0 changes: no more string.dump