Fix Debian startup problem