* release-0.6.7:
plugins: add a comment to clarify strange behaviour
txtinfo: set_plugin_boolean stores into an int
jsoninfo: set_plugin_boolean stores into an int
android: fix build on 32 bit platform (see 0295e11)
android: use the machine specific NDK instead of always the 32bit variant