Extra push due to error in travis-ci build with hhvm