lib/functions: small MacOS X adjustment