Update jentos_ide.pro