os31 distribution directory files