Pretty-print an empty list of fundeps without '|' (should fix #1260)
drwxr-xr-x - libraries