[r306298]: buildworld fails with OFED: nm: 'log.pico': No such file or directory

Recent sources of CURRENT (r306298) fail to build while WITH OFED is selected:

[...]
building shared library libibsdp.so.1
--- lib__L ---
--- obj ---
--- obj_subdir_lib/clang/libllvmpowerpcinfo ---
===> lib/clang/libllvmpowerpcinfo (obj)
--- contrib/ofed/usr.lib__L ---
nm: 'log.pico': No such file or directory
nm: 'match.pico': No such file or directory
nm: 'port.pico': No such file or directory
nm: 'config_parser.pico': No such file or directory
nm: 'config_scanner.pico': No such file or directory
cc: error: no such file or directory: 'config_scanner.pico'
cc: error: no such file or directory: 'config_parser.pico'
cc: error: no such file or directory: 'port.pico'
cc: error: no such file or directory: 'match.pico'
cc: error: no such file or directory: 'log.pico'
*** [libibsdp.so.1] Error code 1