Add some missing files generated by OASIS