Fix trampoline

There where two issues introduced by the init-file change:

* pr-str was not used to write the form to the init-file
* The init-file was deleted too early when trampoline is used