Issue #258: different color for soft links