diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md
index ad3535cc2..7ba517a9e 100644
--- a/CONTRIBUTORS.md
+++ b/CONTRIBUTORS.md
@@ -163,4 +163,6 @@ From oldest to newest contributor, we would like to thank:
 - [Roberto Parolin](https://github.com/rparolin)
 - [Alfredo Correa](https://github.com/correaa)
 - [Florian Freitag](https://github.com/flofriday)
-- [Trevor Gross](https://github.com/tgross35)
\ No newline at end of file
+- [Trevor Gross](https://github.com/tgross35)
+- [Alex Trotta](https://github.com/Ahajha)
+
diff --git a/etc/config/mojo.amazon.properties b/etc/config/mojo.amazon.properties
index fe3350e00..4b507b0a9 100644
--- a/etc/config/mojo.amazon.properties
+++ b/etc/config/mojo.amazon.properties
@@ -2,10 +2,13 @@ compilers=&mojo
 defaultCompiler=mojo_nightly
 compilerType=mojo
 
-group.mojo.compilers=mojo_nightly
+group.mojo.compilers=mojo_25_6_0:mojo_nightly
 group.mojo.isSemVer=true
 group.mojo.baseName=Mojo
 
+compiler.mojo_25_6_0.exe=/opt/compiler-explorer/mojo-0.25.6.0/bin/mojo
+compiler.mojo_25_6_0.semver=25.6.0
+
 compiler.mojo_nightly.exe=/opt/compiler-explorer/mojo-nightly/bin/mojo
 compiler.mojo_nightly.semver=nightly
 compiler.mojo_nightly.isNightly=true