fixing wrong binary name in 09-check_architecture.sh