work around wrong behavior of shell