Update extension dir for php 5.5