Hm. Nasty hardcoded version number...