More revisions to Linux build procedures