Delete concavemirror.h