applied Michał Janeczek dmenu patch, made dmenu match case-insensitive by default...