A simple script to build different PHP versions