Add missing linitan override files
Merge branch 'master' of ../../P-star