diff --git a/filemin/filemin-lib.pl b/filemin/filemin-lib.pl
index 4686f11f4..85fca6761 100644
--- a/filemin/filemin-lib.pl
+++ b/filemin/filemin-lib.pl
@@ -179,7 +179,7 @@ sub print_interface {
         print "</ol>";
 
         # And toolbar
-        if($userconfig{'menu_style'}) {
+        if($userconfig{'menu_style'} || $current_theme eq 'authentic-theme') {
             print_template("unauthenticated/templates/menu.html");
         } else {
             print_template("unauthenticated/templates/quicks.html");