new project file "korat-1.1" that depends on Korat