Add (previously removed) header files.