diff --git a/v/Vampire/Vampire-5.0.1.eb b/v/Vampire/Vampire-5.0.1-GCC-6.3.0-2.27.eb
similarity index 100%
rename from v/Vampire/Vampire-5.0.1.eb
rename to v/Vampire/Vampire-5.0.1-GCC-6.3.0-2.27.eb