Update compilation.in