Make PHP plugin compile _and_ run on Linux