How to remove libgflags-doc from Debian 9 (Stretch)