remove allocation file as it is documented in other page