fix 0cd7db0 on OSX aux args were passed only once