Allow setting explicit library filename for php module ini files