makes converting Archive objects to json possible, even on PHP 5.3