fixed file re-name -- jenkins was complaining