s/Manager.ap_manager_ptr/t Apron.Manager.t/g; 
s/external box_/external /g;  
