compilation fix (OSX)