By convention, mask files should use `.mask` extension instead of `.mtx`. Do we need this special case?