Files needed for icebuddha compilations