#!/bin/bash
exec 2> >(exec grep -v \
  -e ' no symbols$' \
  >&2)
exec "$@"
