Description: Replace the non-free Arial with DejaVu Sans

Avoid the need to embed the non-free Arial font. Replace it with a free
alternative.

--- a/ming-source/operator_panel.pl
+++ b/ming-source/operator_panel.pl
@@ -34,8 +34,8 @@ $movie->setRate(20);
 
 
 
-$fuente="/usr/src/ming/util/fonts/Arial.fdb";
-$fuente_nombre="Arial";
+$fuente="/usr/share/fonts/truetype/ttf-dejavu/DejaVuSans.ttf";
+$fuente_nombre="DejaVu Sans";
 
 sub maketextfield {
 	$name = shift;
