Update BUILDING.linux