slight modification to filename handling in ccdredux.py