Fix Linux compilation

Change-Id: I78b19d657af5d96d141dbd97802e9eaf2ae94665