clarified terminology of "session build database", while "build database" is the one underlying Build_Process;