add new generated files to build_with_core.sh