pepperflash: Just a little tweak to VERSION so we have a clearer idea of its version.