/* Do not remove this file. This is needed for FABRIC_DIRECT option. See man/fi_direct.7.md for details. */