if [ -z "$(which felboot)" ]; then
  if [ -x bin/felboot ]; then
    export PATH=$(pwd)/bin:$(pwd)/build:$PATH
    echo PATH=$PATH
  else
    echo bin/felboot not found
  fi
fi