Updating: minorly improving libatscc2js