I see BINRELOC is set as a configurable option -- does this mean that it is optional on linux? (I thought it was required.)