remove unnecessary include

Gerhard Raven requested to merge fix-coverity-warning into master Aug 14, 2017