defining "devel" flag.