Re: __attribute__((alias(foo))) and the hardening flags