oops, had forgot to remove the flags in alec.cc