diff --git a/src/utilities/x13/select_x13_binary.m b/src/utilities/x13/select_x13_binary.m
index 22b22be7d1c75db1f900fd9e56cfe149a99a66a5..aacb6436a9cb538da19d463c1c50d283e5354a0b 100644
--- a/src/utilities/x13/select_x13_binary.m
+++ b/src/utilities/x13/select_x13_binary.m
@@ -33,6 +33,12 @@ if ismac()
     else
         x13_binary = sprintf('%s%s%s%s', x13_binary, '32', filesep(), 'x13as');
     end
+    if ~exist(x13_binary, 'file')
+        [status, x13_binary] = system('which x13as');
+        if ~status
+            x13_binary = deblank(x13_binary);
+        end
+    end
 elseif isunix()
     x13_binary = sprintf('%s%s%s', dseries_x13_root, 'linux', filesep());
     if is64bit()