some Linux build fixes