A couple of PHP scripts for frontend compilation.