Include missing header, pacify recent pyflakes