add readline to the list of PHP modules to ignore since its core