Additional improvements to security, dev server update to PHP5