php 5.6 is now default. Various bug fixes