configure: pass CONFIG_xxxDIR/PATH options via commandline