Added file missing from the original RUBBoS distribution