Fix for gcc.
Address remaining comments from pull request https://github.com/dealii/dealii/pull/289.