fix c8a76830 with deal 8.1
Merge pull request #223 from tjhei/fix_deal_81_compile

fix c8a76830 with deal 8.1