Bug fix (linux) of changes made for OSX.
Authored by: bruno.herbelin@gmail.com 2010-09-04
Parent: [r212]
Child: [r214]