[DEV] build.sh: Remove old `Properties` directory before building

build.sh

diff --git a/build.sh b/build.sh
index 9974a46..fd3cdab 100755
--- a/build.sh
+++ b/build.sh
@@ -500,6 +500,9 @@
     exit 0
 fi
 
+# Remove pre-deterministic versioning `Properties` directory
+rm -rf "$ROOT_PATH/src/Renode/Properties"
+
 # build
 dotnet build "${PARAMS[@]/#/-}" $TARGET