diff --git a/linux-x86-64/revng-development/default/none_4becd9a35cd97dd68e0b03c461e3ded55e303252.hash-material.yml b/linux-x86-64/revng-development/default/none_4b7c5aca4348c9fe4a7d8c8be4a59718fc5db6d1.hash-material.yml
similarity index 99%
rename from linux-x86-64/revng-development/default/none_4becd9a35cd97dd68e0b03c461e3ded55e303252.hash-material.yml
rename to linux-x86-64/revng-development/default/none_4b7c5aca4348c9fe4a7d8c8be4a59718fc5db6d1.hash-material.yml
index 479dfd4ac27e623c0fb6e1bc9781983b7339f005..e4fe6d2400d8bbdb99abcf37ea798c3016d249a0 100644
--- a/linux-x86-64/revng-development/default/none_4becd9a35cd97dd68e0b03c461e3ded55e303252.hash-material.yml
+++ b/linux-x86-64/revng-development/default/none_4b7c5aca4348c9fe4a7d8c8be4a59718fc5db6d1.hash-material.yml
@@ -3870,7 +3870,7 @@
"ndebug": !!bool |-
true
"commit": |-
- a18c32dd95de92bcf771482437adc59b4a85b534
+ 06f5e976f4b835ac0cdfe8f650ee7a0f3ff1630e
"default_build": |-
optimized
"license": |-
@@ -4455,7 +4455,7 @@
"ndebug": !!bool |-
true
"commit": |-
- ebd93d7b872daaaecdf00f946b6ca76e912bf939
+ 44626541ba45d03ec06f125ea4b11c8027e642c8
"default_build": |-
default
"license": |-
@@ -9077,7 +9077,7 @@
"ndebug": !!bool |-
true
"commit": |-
- 24d807f8a05d47e86e97878dbf735a8e7ebe0064
+ e84612c6e1f04b85e77154fa3b3009ee2106afe8
"default_build": |-
default
"license": |-
diff --git a/linux-x86-64/revng-development/default/none_4b7c5aca4348c9fe4a7d8c8be4a59718fc5db6d1.tar.xz b/linux-x86-64/revng-development/default/none_4b7c5aca4348c9fe4a7d8c8be4a59718fc5db6d1.tar.xz
new file mode 100644
index 0000000000000000000000000000000000000000..84fc42f25f300e1dc3964ff3afb79998d52b9deb
--- /dev/null
+++ b/linux-x86-64/revng-development/default/none_4b7c5aca4348c9fe4a7d8c8be4a59718fc5db6d1.tar.xz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:46f9981380b67c06ab69c9fb928eeba6673a59d1b278e56fb4856ad4499c9d6a
+size 340
diff --git a/linux-x86-64/revng-development/default/none_4becd9a35cd97dd68e0b03c461e3ded55e303252.tar.xz b/linux-x86-64/revng-development/default/none_4becd9a35cd97dd68e0b03c461e3ded55e303252.tar.xz
deleted file mode 100644
index 57e22f985c4cddd239dde038f497dfb2853fb05c..0000000000000000000000000000000000000000
--- a/linux-x86-64/revng-development/default/none_4becd9a35cd97dd68e0b03c461e3ded55e303252.tar.xz
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:019e743593f610dbca026c9d8664709bafa0de302c560c78b37000c57d418320
-size 336
diff --git a/linux-x86-64/revng-development/default/none_master.tar.xz b/linux-x86-64/revng-development/default/none_master.tar.xz
index dbf82f12ec95d22fb9f572c5a7dec9b5214faa4a..06c7afa76630db7071b1b51eed12464801ec0fd7 120000
--- a/linux-x86-64/revng-development/default/none_master.tar.xz
+++ b/linux-x86-64/revng-development/default/none_master.tar.xz
@@ -1 +1 @@
-none_4becd9a35cd97dd68e0b03c461e3ded55e303252.tar.xz
\ No newline at end of file
+none_4b7c5aca4348c9fe4a7d8c8be4a59718fc5db6d1.tar.xz
\ No newline at end of file
diff --git a/linux-x86-64/revng-development/default/none_next-master.tar.xz b/linux-x86-64/revng-development/default/none_next-master.tar.xz
index dbf82f12ec95d22fb9f572c5a7dec9b5214faa4a..06c7afa76630db7071b1b51eed12464801ec0fd7 120000
--- a/linux-x86-64/revng-development/default/none_next-master.tar.xz
+++ b/linux-x86-64/revng-development/default/none_next-master.tar.xz
@@ -1 +1 @@
-none_4becd9a35cd97dd68e0b03c461e3ded55e303252.tar.xz
\ No newline at end of file
+none_4b7c5aca4348c9fe4a7d8c8be4a59718fc5db6d1.tar.xz
\ No newline at end of file
diff --git a/linux-x86-64/revng-distributable-public-demo/default/none_41a174cb756bef2f5e3f99d1409045640178ffdb.hash-material.yml b/linux-x86-64/revng-distributable-public-demo/default/none_15b6c8d27eec44962cb2e9b253ff5f05c47cb22c.hash-material.yml
similarity index 99%
rename from linux-x86-64/revng-distributable-public-demo/default/none_41a174cb756bef2f5e3f99d1409045640178ffdb.hash-material.yml
rename to linux-x86-64/revng-distributable-public-demo/default/none_15b6c8d27eec44962cb2e9b253ff5f05c47cb22c.hash-material.yml
index 9bcadfc5916f31f19a85b054fd7039ccb703da5f..4e50df629b17fc0f4422226ee35f40f8de0adb2e 100644
--- a/linux-x86-64/revng-distributable-public-demo/default/none_41a174cb756bef2f5e3f99d1409045640178ffdb.hash-material.yml
+++ b/linux-x86-64/revng-distributable-public-demo/default/none_15b6c8d27eec44962cb2e9b253ff5f05c47cb22c.hash-material.yml
@@ -3657,7 +3657,7 @@
"ndebug": !!bool |-
true
"commit": |-
- a18c32dd95de92bcf771482437adc59b4a85b534
+ 06f5e976f4b835ac0cdfe8f650ee7a0f3ff1630e
"default_build": |-
optimized
"license": |-
diff --git a/linux-x86-64/revng-distributable-public-demo/default/none_15b6c8d27eec44962cb2e9b253ff5f05c47cb22c.tar.xz b/linux-x86-64/revng-distributable-public-demo/default/none_15b6c8d27eec44962cb2e9b253ff5f05c47cb22c.tar.xz
new file mode 100644
index 0000000000000000000000000000000000000000..0bba0485b7cfb1715c8c421a54a942b7557344d1
--- /dev/null
+++ b/linux-x86-64/revng-distributable-public-demo/default/none_15b6c8d27eec44962cb2e9b253ff5f05c47cb22c.tar.xz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:126af583383575397c1d3ca7b4fd871771924b4900ba5ac70457e47079305ad7
+size 343978016
diff --git a/linux-x86-64/revng-distributable-public-demo/default/none_41a174cb756bef2f5e3f99d1409045640178ffdb.tar.xz b/linux-x86-64/revng-distributable-public-demo/default/none_41a174cb756bef2f5e3f99d1409045640178ffdb.tar.xz
deleted file mode 100644
index af95d0627bf5fd32c15fecc44944b1dc8fd5436d..0000000000000000000000000000000000000000
--- a/linux-x86-64/revng-distributable-public-demo/default/none_41a174cb756bef2f5e3f99d1409045640178ffdb.tar.xz
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:e363b06b130d7bc5deeb0cbe438649c6df16b123dcf6bbd1b04fc5578ce47064
-size 343855200
diff --git a/linux-x86-64/revng-distributable-public-demo/default/none_master.tar.xz b/linux-x86-64/revng-distributable-public-demo/default/none_master.tar.xz
index a43216a242ba808423c2ac2868dfe60592423bb6..e24ca3e7be7056518fbd2e013a94b61f11b4d0a0 120000
--- a/linux-x86-64/revng-distributable-public-demo/default/none_master.tar.xz
+++ b/linux-x86-64/revng-distributable-public-demo/default/none_master.tar.xz
@@ -1 +1 @@
-none_41a174cb756bef2f5e3f99d1409045640178ffdb.tar.xz
\ No newline at end of file
+none_15b6c8d27eec44962cb2e9b253ff5f05c47cb22c.tar.xz
\ No newline at end of file
diff --git a/linux-x86-64/revng-distributable-public-demo/default/none_next-master.tar.xz b/linux-x86-64/revng-distributable-public-demo/default/none_next-master.tar.xz
index a43216a242ba808423c2ac2868dfe60592423bb6..e24ca3e7be7056518fbd2e013a94b61f11b4d0a0 120000
--- a/linux-x86-64/revng-distributable-public-demo/default/none_next-master.tar.xz
+++ b/linux-x86-64/revng-distributable-public-demo/default/none_next-master.tar.xz
@@ -1 +1 @@
-none_41a174cb756bef2f5e3f99d1409045640178ffdb.tar.xz
\ No newline at end of file
+none_15b6c8d27eec44962cb2e9b253ff5f05c47cb22c.tar.xz
\ No newline at end of file
diff --git a/linux-x86-64/revng-distributable/default/none_27b7910bd493521928302df7ba830ea860ff0936.tar.xz b/linux-x86-64/revng-distributable/default/none_27b7910bd493521928302df7ba830ea860ff0936.tar.xz
deleted file mode 100644
index 3a132816118906cd939d326f351daffdc0ae443e..0000000000000000000000000000000000000000
--- a/linux-x86-64/revng-distributable/default/none_27b7910bd493521928302df7ba830ea860ff0936.tar.xz
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:d4a1523af9bb00be45e4103ace39acf8cf44315e51de1fb8adb949826fb1797b
-size 299868388
diff --git a/linux-x86-64/revng-distributable/default/none_27b7910bd493521928302df7ba830ea860ff0936.hash-material.yml b/linux-x86-64/revng-distributable/default/none_8451cfb0ffa6b326e1a05b93d97098c6b5f5af62.hash-material.yml
similarity index 99%
rename from linux-x86-64/revng-distributable/default/none_27b7910bd493521928302df7ba830ea860ff0936.hash-material.yml
rename to linux-x86-64/revng-distributable/default/none_8451cfb0ffa6b326e1a05b93d97098c6b5f5af62.hash-material.yml
index af4083c06979e4e35e4c77ce55748c971f036b4d..8b74ec15e7d6419b68203a1ee455d5fa2b111b2b 100644
--- a/linux-x86-64/revng-distributable/default/none_27b7910bd493521928302df7ba830ea860ff0936.hash-material.yml
+++ b/linux-x86-64/revng-distributable/default/none_8451cfb0ffa6b326e1a05b93d97098c6b5f5af62.hash-material.yml
@@ -3657,7 +3657,7 @@
"ndebug": !!bool |-
true
"commit": |-
- a18c32dd95de92bcf771482437adc59b4a85b534
+ 06f5e976f4b835ac0cdfe8f650ee7a0f3ff1630e
"default_build": |-
optimized
"license": |-
diff --git a/linux-x86-64/revng-distributable/default/none_8451cfb0ffa6b326e1a05b93d97098c6b5f5af62.tar.xz b/linux-x86-64/revng-distributable/default/none_8451cfb0ffa6b326e1a05b93d97098c6b5f5af62.tar.xz
new file mode 100644
index 0000000000000000000000000000000000000000..a1c97252f72451aeaef2bcb45b0ce75500272eda
--- /dev/null
+++ b/linux-x86-64/revng-distributable/default/none_8451cfb0ffa6b326e1a05b93d97098c6b5f5af62.tar.xz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:d695b942b62f17e25e46783d67e4e24b13b7a003c88409d7dbdc7e9ae615672b
+size 300011024
diff --git a/linux-x86-64/revng-distributable/default/none_master.tar.xz b/linux-x86-64/revng-distributable/default/none_master.tar.xz
index 0f8a045e75638f4ff485f61447dadce45af6432e..e64bcf9969555ace687dcddec38612eba88ccec5 120000
--- a/linux-x86-64/revng-distributable/default/none_master.tar.xz
+++ b/linux-x86-64/revng-distributable/default/none_master.tar.xz
@@ -1 +1 @@
-none_27b7910bd493521928302df7ba830ea860ff0936.tar.xz
\ No newline at end of file
+none_8451cfb0ffa6b326e1a05b93d97098c6b5f5af62.tar.xz
\ No newline at end of file
diff --git a/linux-x86-64/revng-distributable/default/none_next-master.tar.xz b/linux-x86-64/revng-distributable/default/none_next-master.tar.xz
index 0f8a045e75638f4ff485f61447dadce45af6432e..e64bcf9969555ace687dcddec38612eba88ccec5 120000
--- a/linux-x86-64/revng-distributable/default/none_next-master.tar.xz
+++ b/linux-x86-64/revng-distributable/default/none_next-master.tar.xz
@@ -1 +1 @@
-none_27b7910bd493521928302df7ba830ea860ff0936.tar.xz
\ No newline at end of file
+none_8451cfb0ffa6b326e1a05b93d97098c6b5f5af62.tar.xz
\ No newline at end of file
diff --git a/linux-x86-64/revng/optimized/a18c32dd95de92bcf771482437adc59b4a85b534_21c12d91248b96dee9c6e3bb0fd5e013349f5e52.hash-material.yml b/linux-x86-64/revng/optimized/06f5e976f4b835ac0cdfe8f650ee7a0f3ff1630e_7927dc080106de8bf38d2c142099ebdf03683300.hash-material.yml
similarity index 99%
rename from linux-x86-64/revng/optimized/a18c32dd95de92bcf771482437adc59b4a85b534_21c12d91248b96dee9c6e3bb0fd5e013349f5e52.hash-material.yml
rename to linux-x86-64/revng/optimized/06f5e976f4b835ac0cdfe8f650ee7a0f3ff1630e_7927dc080106de8bf38d2c142099ebdf03683300.hash-material.yml
index 2d8449d9831202da53646769005530829a4d1016..dfc1ce5e6c977aa4544128500352db6013f08fcd 100644
--- a/linux-x86-64/revng/optimized/a18c32dd95de92bcf771482437adc59b4a85b534_21c12d91248b96dee9c6e3bb0fd5e013349f5e52.hash-material.yml
+++ b/linux-x86-64/revng/optimized/06f5e976f4b835ac0cdfe8f650ee7a0f3ff1630e_7927dc080106de8bf38d2c142099ebdf03683300.hash-material.yml
@@ -3657,7 +3657,7 @@
"ndebug": !!bool |-
true
"commit": |-
- a18c32dd95de92bcf771482437adc59b4a85b534
+ 06f5e976f4b835ac0cdfe8f650ee7a0f3ff1630e
"default_build": |-
optimized
"license": |-
diff --git a/linux-x86-64/revng/optimized/06f5e976f4b835ac0cdfe8f650ee7a0f3ff1630e_7927dc080106de8bf38d2c142099ebdf03683300.tar.xz b/linux-x86-64/revng/optimized/06f5e976f4b835ac0cdfe8f650ee7a0f3ff1630e_7927dc080106de8bf38d2c142099ebdf03683300.tar.xz
new file mode 100644
index 0000000000000000000000000000000000000000..9a3663da2e37ddb212290ba67e8e320d29bab66f
--- /dev/null
+++ b/linux-x86-64/revng/optimized/06f5e976f4b835ac0cdfe8f650ee7a0f3ff1630e_7927dc080106de8bf38d2c142099ebdf03683300.tar.xz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:93b7c349e12e8609f894989bdd0a2589aae72cad550ef6dc815325a3b6ccd93c
+size 83058244
diff --git a/linux-x86-64/revng/optimized/a18c32dd95de92bcf771482437adc59b4a85b534_21c12d91248b96dee9c6e3bb0fd5e013349f5e52.tar.xz b/linux-x86-64/revng/optimized/a18c32dd95de92bcf771482437adc59b4a85b534_21c12d91248b96dee9c6e3bb0fd5e013349f5e52.tar.xz
deleted file mode 100644
index fe75e915e571fd2452587979d5b9d5b35aeca4e8..0000000000000000000000000000000000000000
--- a/linux-x86-64/revng/optimized/a18c32dd95de92bcf771482437adc59b4a85b534_21c12d91248b96dee9c6e3bb0fd5e013349f5e52.tar.xz
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:8195eaa7754a2bc2067fd0b1a0dc4778d2d9ab475f2b33cad1124464d58064ff
-size 82968804
diff --git a/linux-x86-64/revng/optimized/develop_master.tar.xz b/linux-x86-64/revng/optimized/develop_master.tar.xz
index 5b1ffd375c9b3f62a436b035ee211df83b28fe05..d8a6c7e64a07c07f0410273fc23344713000849b 120000
--- a/linux-x86-64/revng/optimized/develop_master.tar.xz
+++ b/linux-x86-64/revng/optimized/develop_master.tar.xz
@@ -1 +1 @@
-a18c32dd95de92bcf771482437adc59b4a85b534_21c12d91248b96dee9c6e3bb0fd5e013349f5e52.tar.xz
\ No newline at end of file
+06f5e976f4b835ac0cdfe8f650ee7a0f3ff1630e_7927dc080106de8bf38d2c142099ebdf03683300.tar.xz
\ No newline at end of file
diff --git a/linux-x86-64/revng/optimized/next-develop_master.tar.xz b/linux-x86-64/revng/optimized/next-develop_master.tar.xz
index 5b1ffd375c9b3f62a436b035ee211df83b28fe05..d8a6c7e64a07c07f0410273fc23344713000849b 120000
--- a/linux-x86-64/revng/optimized/next-develop_master.tar.xz
+++ b/linux-x86-64/revng/optimized/next-develop_master.tar.xz
@@ -1 +1 @@
-a18c32dd95de92bcf771482437adc59b4a85b534_21c12d91248b96dee9c6e3bb0fd5e013349f5e52.tar.xz
\ No newline at end of file
+06f5e976f4b835ac0cdfe8f650ee7a0f3ff1630e_7927dc080106de8bf38d2c142099ebdf03683300.tar.xz
\ No newline at end of file
diff --git a/linux-x86-64/revng/optimized/next-develop_next-master.tar.xz b/linux-x86-64/revng/optimized/next-develop_next-master.tar.xz
index 5b1ffd375c9b3f62a436b035ee211df83b28fe05..d8a6c7e64a07c07f0410273fc23344713000849b 120000
--- a/linux-x86-64/revng/optimized/next-develop_next-master.tar.xz
+++ b/linux-x86-64/revng/optimized/next-develop_next-master.tar.xz
@@ -1 +1 @@
-a18c32dd95de92bcf771482437adc59b4a85b534_21c12d91248b96dee9c6e3bb0fd5e013349f5e52.tar.xz
\ No newline at end of file
+06f5e976f4b835ac0cdfe8f650ee7a0f3ff1630e_7927dc080106de8bf38d2c142099ebdf03683300.tar.xz
\ No newline at end of file
diff --git a/linux-x86-64/test/revng/default/none_ba33af9d4b07169f76bc8839dc324c88a3f30445.hash-material.yml b/linux-x86-64/test/revng/default/none_9b09f30b308f0f1f1ad959d75716a5d5765018df.hash-material.yml
similarity index 99%
rename from linux-x86-64/test/revng/default/none_ba33af9d4b07169f76bc8839dc324c88a3f30445.hash-material.yml
rename to linux-x86-64/test/revng/default/none_9b09f30b308f0f1f1ad959d75716a5d5765018df.hash-material.yml
index 2d55f6ca8fd8ca9843f1a6940d91a0f5675df893..d23e93fe4639e9219662ddd36a0b1406ade0faf6 100644
--- a/linux-x86-64/test/revng/default/none_ba33af9d4b07169f76bc8839dc324c88a3f30445.hash-material.yml
+++ b/linux-x86-64/test/revng/default/none_9b09f30b308f0f1f1ad959d75716a5d5765018df.hash-material.yml
@@ -3657,7 +3657,7 @@
"ndebug": !!bool |-
true
"commit": |-
- a18c32dd95de92bcf771482437adc59b4a85b534
+ 06f5e976f4b835ac0cdfe8f650ee7a0f3ff1630e
"default_build": |-
optimized
"license": |-
diff --git a/linux-x86-64/test/revng/default/none_9b09f30b308f0f1f1ad959d75716a5d5765018df.tar.xz b/linux-x86-64/test/revng/default/none_9b09f30b308f0f1f1ad959d75716a5d5765018df.tar.xz
new file mode 100644
index 0000000000000000000000000000000000000000..4e4bd9e5d22b71756311974e607abe77c5ee8ee3
--- /dev/null
+++ b/linux-x86-64/test/revng/default/none_9b09f30b308f0f1f1ad959d75716a5d5765018df.tar.xz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:83709ed3b55655226369a5c21835464dd1fa15c1134a50dc3804f58274738517
+size 545461132
diff --git a/linux-x86-64/test/revng/default/none_ba33af9d4b07169f76bc8839dc324c88a3f30445.tar.xz b/linux-x86-64/test/revng/default/none_ba33af9d4b07169f76bc8839dc324c88a3f30445.tar.xz
deleted file mode 100644
index 50559364f3d879e27690696f678dd087013559c7..0000000000000000000000000000000000000000
--- a/linux-x86-64/test/revng/default/none_ba33af9d4b07169f76bc8839dc324c88a3f30445.tar.xz
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:ffe77052f92cab3a99921f2f9f8d8dc719d088a6e6aab1a78a727ba9a005d273
-size 545495228
diff --git a/linux-x86-64/test/revng/default/none_master.tar.xz b/linux-x86-64/test/revng/default/none_master.tar.xz
index 8678633df9ac5501c96a8e8d110020a865584fea..6953479477fa5b75a38ffe7a8b33e852a0a2f1e0 120000
--- a/linux-x86-64/test/revng/default/none_master.tar.xz
+++ b/linux-x86-64/test/revng/default/none_master.tar.xz
@@ -1 +1 @@
-none_ba33af9d4b07169f76bc8839dc324c88a3f30445.tar.xz
\ No newline at end of file
+none_9b09f30b308f0f1f1ad959d75716a5d5765018df.tar.xz
\ No newline at end of file
diff --git a/linux-x86-64/test/revng/default/none_next-master.tar.xz b/linux-x86-64/test/revng/default/none_next-master.tar.xz
index 8678633df9ac5501c96a8e8d110020a865584fea..6953479477fa5b75a38ffe7a8b33e852a0a2f1e0 120000
--- a/linux-x86-64/test/revng/default/none_next-master.tar.xz
+++ b/linux-x86-64/test/revng/default/none_next-master.tar.xz
@@ -1 +1 @@
-none_ba33af9d4b07169f76bc8839dc324c88a3f30445.tar.xz
\ No newline at end of file
+none_9b09f30b308f0f1f1ad959d75716a5d5765018df.tar.xz
\ No newline at end of file