apparently there is no DejaVuSansMono in ubuntu 12.04