add some leading zeros to so files sort correctly