drop php 5.3 and try to mark hhvm as allowed failure