use different name on 32/64bits, avoid conflicts when both build run on the same machine at the same time