Issue #675: fix licenses in various files + remove unused import