These headers are now present in 12.04 LTS