Try installing man pages and executables better for debian