EiffelStudio development environment inside a Fedora container