oops -- remove unused header (it was C++11 anyhow)