./configure  $OPTS -d +lang all                 &&
make_single                                     &&
make                                            &&
make_normal
