diff --git a/src/initialize_dseries_toolbox.m b/src/initialize_dseries_toolbox.m
index a90657b7f3396134f4e89fd8e6b38bd83c6dbf31..23fac56d6f6155649250b9742e7b06f32312d8d1 100644
--- a/src/initialize_dseries_toolbox.m
+++ b/src/initialize_dseries_toolbox.m
@@ -28,15 +28,15 @@ dseries_src_root = strrep(which('initialize_dseries_toolbox'),'initialize_dserie
 % Check that the x13 binary is available
 nox13 = false;
 if isunix()
-    if ~(exist([dseries_src_root '../externals/x13/linux/64/x13'], 'file') && exist([dseries_src_root '../externals/x13/linux/32/x13'], 'file'))
+    if ~(exist([dseries_src_root '../externals/x13/linux/64/x13as'], 'file') && exist([dseries_src_root '../externals/x13/linux/32/x13as'], 'file'))
         nox13 = true;
     end
 elseif ismac()
-    if ~exist([dseries_src_root '../externals/x13/osx/64/x13'], 'file')
+    if ~exist([dseries_src_root '../externals/x13/osx/64/x13as'], 'file')
         nox13 = true;
     end
 elseif ispc()
-    if ~(exist([dseries_src_root '../externals/x13/windows/64/x13.exe'], 'file') && exist([dseries_src_root '../externals/x13/windows/32/x13.exe'], 'file'))
+    if ~(exist([dseries_src_root '../externals/x13/windows/64/x13as.exe'], 'file') && exist([dseries_src_root '../externals/x13/windows/32/x13as.exe'], 'file'))
         nox13 = true;
     end
 else
diff --git a/src/utilities/x13/select_x13_binary.m b/src/utilities/x13/select_x13_binary.m
index 0ade22f45951660b539b4c7c2440766197ade98c..8203dbab16a47983875a88d545475253514afe69 100644
--- a/src/utilities/x13/select_x13_binary.m
+++ b/src/utilities/x13/select_x13_binary.m
@@ -21,23 +21,23 @@ dseries_x13_root = sprintf('%s%s%s%s%s%s%s', dseries_src_root, '..', filesep(),
 if ismac()
     x13_binary = sprintf('%s%s%s', dseries_x13_root, 'osx', filesep());
     if is64bit()
-        x13_binary = sprintf('%s%s%s%s', x13_binary, '64', filesep(), 'x13');
+        x13_binary = sprintf('%s%s%s%s', x13_binary, '64', filesep(), 'x13as');
     else
-        x13_binary = sprintf('%s%s%s%s', x13_binary, '32', filesep(), 'x13');
+        x13_binary = sprintf('%s%s%s%s', x13_binary, '32', filesep(), 'x13as');
     end
 elseif isunix()
     x13_binary = sprintf('%s%s%s', dseries_x13_root, 'linux', filesep());
     if is64bit()
-        x13_binary = sprintf('%s%s%s%s', x13_binary, '64', filesep(), 'x13');
+        x13_binary = sprintf('%s%s%s%s', x13_binary, '64', filesep(), 'x13as');
     else
-        x13_binary = sprintf('%s%s%s%s', x13_binary, '32', filesep(), 'x13');
+        x13_binary = sprintf('%s%s%s%s', x13_binary, '32', filesep(), 'x13as');
     end
 elseif ispc()
     x13_binary = sprintf('%s%s%s', dseries_x13_root, 'windows', filesep());
     if is64bit()
-        x13_binary = sprintf('%s%s%s%s', x13_binary, '64', filesep(), 'x13.exe');
+        x13_binary = sprintf('%s%s%s%s', x13_binary, '64', filesep(), 'x13as.exe');
     else
-        x13_binary = sprintf('%s%s%s%s', x13_binary, '32', filesep(), 'x13.exe');
+        x13_binary = sprintf('%s%s%s%s', x13_binary, '32', filesep(), 'x13as.exe');
     end
 else
     error('X13 binary is not available for this plateform')