Fix T4113 on OS X x86_64