@@ -10,10 +10,12 @@
 server/buildpkgs/dict/build/*
 server/buildpkgs/dict/out
 server/buildpkgs/dict/out/*
 server/buildpkgs/dict/src
 server/buildpkgs/dict/src/*
+server/buildpkgs/platform.magic.*
+server/buildpkgs/platform.magic.*/*
 server/buildpkgs/tcl
 server/buildpkgs/tcl/*
 server/buildpkgs/tclpkgs-*.tar.*
 server/buildpkgs/tclpkgs-*.tar.*/*
 server/buildpkgs/tls/build