fix highlighting of 777-permissioned directories on Ubuntu