Workaround for broken build on BSD-based systems

Change-Id: I80582dc197cd3e415a4b8a5ac41286d458ef3afc