usr/bin
usr/lib
usr/lib/coq
usr/share/pixmaps