python: remove unused but imported symbol