Including the missing files in the fsproject (