install more headers, used by hiphop-php
install more headers, used by hiphop-php