DejaVuSansMono: get rid of