Make non-lanka default in configure_paths.sh
Make non-lanka default in configure_paths.sh

rbaghdadi/COLi,rbaghdadi/tiramisu,rbaghdadi/COLi,rbaghdadi/tiramisu,rbaghdadi/ISIR,rbaghdadi/tiramisu,rbaghdadi/ISIR,rbaghdadi/tiramisu