Removed MPS_DEBUG_ARNOLDI from tools.h