pike7.8: a new rpm for pike 7.8