do not mess with php internals