console: remove unused header