Fix compile error on ubuntu
Fix compile error on ubuntu

Change-Id: I56177b9b4cb6a60fe38cb3565a45cc7a04ef1ae4
Reviewed-on: http://review.couchbase.org/32320
Reviewed-by: Trond Norbye <60edd2ef23891a753f231b0c6f161dc634079a93@gmail.com>
Tested-by: Trond Norbye <60edd2ef23891a753f231b0c6f161dc634079a93@gmail.com>

vmx/platform,vmx/platform