Fix Debian init.d script

We've run into this bug on our production Wheezy servers:
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=609457

Proposed patch fixes the problem.