Thanks for your response! Calling the Streamlit main with streamlit.py works!
I had gotten an error trying PyInstaller just now, but I successfully compiled other apps with PyInstaller before. Will try to get that running in the next days. Will report back!