Added a check in php attributes to see if platform is debian/ubuntu before deciding which lib directory to use