Remove unnecessary #include.
Merge pull request #162 from bangerth/remove-unnecessary-include

Remove unnecessary include