/* This file is left empty on Debian GNU/Linux systems. */