the debian init script has a bug