Fix build on *nix when OPTION_SHARED_DEVICES is not defined.