debian: Fix the man page filename