fix filename for MSVC