Reparando problema de tilde en box2d dentro del paquete ubuntu.