make the loading of the MARKOS theories robust to (missing) files errors