fix for php lib