Rearrange core lib installation, upgrade to php 5.5.1