Fixed issue #7746: Now also working for php < 5.4