diff --git a/src/config.c b/src/config.c
index c05036648..57bdf5508 100644
--- a/src/config.c
+++ b/src/config.c
@@ -639,6 +639,8 @@ load_machine(void)
 		machine = machine_get_machine_from_internal_name("s1846");
 	else if (! strcmp(p, "trinity371"))
 		machine = machine_get_machine_from_internal_name("s1857");
+	else if (! strcmp(p, "63a"))
+		machine = machine_get_machine_from_internal_name("63a1");
 	else if (! strcmp(p, "award386dx")) /* ...merged machines... */
 		machine = machine_get_machine_from_internal_name("award495");
 	else if (! strcmp(p, "ami386dx"))