Make workspacefile serializable