build: this script needs bash, not ash

comptime.sh

-#!/bin/sh -e
+#!/bin/bash -e
 path="."
 if [ x"$1" != x ]; then
 	path="$1"