Fix eigen_no_debug line