more tweaks to allow releasing from Linux