Potential PHP Fatal error due to symbol name conflict

See Issue #143