php 5.4: test build for php bug #67873