Fixed a bug found when working with Linux and not on OS X