BUG: hack to fix pyext on linux 64 bits.
Merge branch 'fix_linux_64'