I'd use `set(modules_file_suffix "")` here... do as you want, though.