fix php namespace stuff