Fix broken build by adding forgotten files