changed extension of decorate files to .dec