For some reasons, the export of a remote file to a user-defined format doesn't work as expected on my local 32-bit Ubuntu 12.04 LTS, but is fine my 64-bit Ubuntu 12.04 LTS and on Travis CI!?