Building Linux: History in the Making