This reverts commit be0bf120, which is no longer
needed after 12fc5b85 "unnecessary include
brings in boost headers that are broken under rhel-7"