[controlboard] Fix deprecated warning in Walkman dashboard 

http://dashboard.icub.org/viewBuildError.php?type=1&buildid=104680