Fixing pmax bootpath bug (thanks for Andreas Gustafsson for figuring out what the problem was).
Authored by: debug 2019-06-06
Parent: [r6229]
Child: [r6231]
