A few more needed files forgotten in the last commit