BUG: hack to fix pyext on linux 64 bits.