potential solution for #438 (non-windows)