Use glify 0.4.2 (fixes #674)