PBS_ARRAYID is not used by default, thus safe from printf bug(?)