Restoring installation of headers in Linux