CI: building against php 5.5