Code

configure.ac: added option --enable-mini