fix build problem with ubuntu-sdk-14.04