Switch to hiphop-php 2.1.0-dev