select debian branch for core-agent-linux