Changed lib file extensions from .inc to .php