php 5.5.0-0.23-201304040630, new snapshot, clean old deprecated options