bugfix for add_xrmfile()