Describing Linux's build system