Also: do we need the "#!" line. By Debian standards, I think that it shouldn't be there. And on top of that, it is visual noise.