filename shortening needs file extension to make decisions.

closes #PICARD-613