Fix bug in Debian init.d script