//etc/alternatives/ALTER_DEFAULT_PRIVILEGES.7.gz