Create PHP extensions directory first, as it apparently does not exist.