Install seal from source code. Problems with environment variables