Code

cmake: fix file names in marshal generation