Reproduced and possibly fixed Travis error with php.ini changes, but not exactly