php 5.6.3RC1 (first try, broken for now)