bash: also match linux-gnueabi