diff --git a/src/utilities/x13/select_x13_binary.m b/src/utilities/x13/select_x13_binary.m
index 8eb3e85cd5b984569084c3a49123c45708f20a5f..2f0053b8d3c1cd6e7080642e5e8efcadbb173cda 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()