diff --git a/build/linux/dist/arduino-linux-setup.sh b/build/linux/dist/arduino-linux-setup.sh
index 35f31ea4272..ea71e0d00eb 100755
--- a/build/linux/dist/arduino-linux-setup.sh
+++ b/build/linux/dist/arduino-linux-setup.sh
@@ -1,3 +1,4 @@
+#!/bin/bash
 # arduino-linux-setup.sh : A simple Arduino setup script for Linux systems
 # Copyright (C) 2015 Arduino Srl
 #
@@ -61,8 +62,6 @@
 #	+ now the script checks for SUDO permissions
 #
 
-#!/bin/bash
-
 # if [[ $EUID != 0 ]] ; then
 #   echo This must be run as root!
 #   exit 1