diff --git a/sea/make-sea.sh b/sea/make-sea.sh
index 408a288352..5e7a1d4467 100755
--- a/sea/make-sea.sh
+++ b/sea/make-sea.sh
@@ -29,15 +29,13 @@ fi
 if [ `uname` = "Linux" ]; then
   compress=gzip
   expand=gunzip
-  tail_cmd=tail -n +4
 else
   compress=compress
   expand=uncompress
-  tail_cmd=tail +4
 fi
 
 echo '#!/bin/sh
-$tail_cmd < "$0" | '$expand' | tar xf - && /bin/sh '"$install $*"'
+( read l; read l; read l; exec cat ) < "$0" | '$expand' | tar xf - && /bin/sh '"$install $*"'
 exit' > "$filename" &&
 $compress < "$1" >> "$filename" &&
 chmod +x "$filename"