FIX: issue #538 (red.r doesn't detect Red/System file), additional fix for #537.