Tested PHP 5.4.10-1~dotdeb.0