php55: fix f15 build