rewrite PokeByte avoiding pointers
minor change in coq script
remove space
remove \old
succeed with PokeBytes