diff --git a/util/misc.sh b/util/misc.sh
index a3d331d..9b0c7aa 100644
--- a/util/misc.sh
+++ b/util/misc.sh
@@ -20,7 +20,7 @@ strip_files() {
 
 		[ -f "$f" ] || continue;
 
-		if file $f | grep -q -i elf; then
+		if file -b $f | grep -q -i elf; then
 			${TARGET}-strip --discard-all "$f"
 		fi
 	done