Fix for man completion on Linux