Remove aliased header if the source header is gone; closes #771.