Misc tools for Roskilde Festival