rar extension writen in php to hhvm