Interesting, can you upload them here ?
I would at least like to get the 64bits service binary