diff --git a/bin/org-html b/bin/org-html
new file mode 120000
index 0000000000..b7b47c1517
--- /dev/null
+++ b/bin/org-html
@@ -0,0 +1 @@
+tools/org-batch
\ No newline at end of file
diff --git a/bin/org-latex b/bin/org-latex
new file mode 120000
index 0000000000..b7b47c1517
--- /dev/null
+++ b/bin/org-latex
@@ -0,0 +1 @@
+tools/org-batch
\ No newline at end of file
diff --git a/bin/tools/org-html b/bin/tools/org-html
deleted file mode 120000
index 3c8e28ed2e..0000000000
--- a/bin/tools/org-html
+++ /dev/null
@@ -1 +0,0 @@
-org-batch
\ No newline at end of file
diff --git a/bin/tools/org-latex b/bin/tools/org-latex
deleted file mode 120000
index 3c8e28ed2e..0000000000
--- a/bin/tools/org-latex
+++ /dev/null
@@ -1 +0,0 @@
-org-batch
\ No newline at end of file