//etc/alternatives/ALTER_EXTENSION.7.gz