add a fix from PHP CLI