add 4.00.1-allocation-profiling compiler files for opam