mic fix: updated new config tag; build 700pre8MIC1; patch genreflex to allow -Dname=