Automatically generate some rt.ini options