Kludge-fix for debian init script