removed obsolete header include (2.5.x), #418 (and #538)