Fix typo in system linux headers build script