Implementing a compilation server