Fix build on Linux

Change-Id: I5a28ad2d3ae6a310b83213fe45be2cba7b440e2d