make-deps: use standard sed options

Author: pwmarcz

common/make-deps

@@ -7,7 +7,7 @@ fi
 
 ROOT=$1
 FILE=$2
-DEPS=$(sed -nr 's/^`include "(.*\.v)"$/\1/p' $FILE | tr '\n' ' ')
+DEPS=$(sed -n 's/^`include "\(.*\.v\)"$/\1/p' $FILE | tr '\n' ' ')
 
 if [ -z "$DEPS" ]; then
     exit