only use working php versions :)