Linux x64 (Ubuntu) precompiled PHP extensions