loftar wrote:Uh, right, sorry, the command-line argument needs to be a URL, not a filename. It might work if you use file://my-hafen.hl
I wasn't able to do it this way, but I uploaded the hafen.hl to a file hosting website and used that URL. Finally works, thank you!