Infrastructure for compiling and using multipe PHP versions on the same machine