VERSION 0.6.4: fixes two GitHub issues, leading up to binary release!