Trying (again) to fix linux headers issue.