Fix build

(cherry picked from commit 639c660abfd5de62ecfcd8d3cbc2eb6924c7ec75)

Created by  Eelco Dolstra  on February 15, 2020
YTJBED7G2NXJJGWWXC3TM7PXLQF7ZYBLLAGVF44DWB5G73SBIIJAC
Change contents