Don't use boost regex library on Android