Something strange has happened with the pike 7.7 binary during the last month or so. It used to be 4.6 MB, but is now 15.4 MB when looking with ls. Using size however tells that the text segment is down 34k and the rest remains unchanged since May. What's the padding?