Workspace to be a string, to avoid overflow on 32-bit systems