marsystems: SVFilter: use std::min instead of std::fmin (avoid C++11)