Working stop target for /etc/init.d/pintod.debian