Fix compilation failure in CCL#2

wnortje wants to merge 1 commit intokmizumar:masterkmizumar/arnesi_dev:masterfrom

wnortje:masterwnortje/arnesi_dev:masterCopy head branch name to clipboard