Fix part of [d19aef1487] (broken --disable-load on MacOSX), broken by [4d417791c9]