Node API: add options parameter to require.makeDefault()