Fix Jenkins

For some reason Jenkins is now thinking that "*.pcc.old" is a PCC file
like "*.pcc" to be processed. Who changed this?