[#3] Enable compilation into a file