Added option to use fake PHP extension.