Fix bug in using array_flip with PHP5.3