Actually, right now I'm not even using that file - it was used in an intermediate version between our first version and now... I'll remove it for now.