fixed error on Linux; should be both mac and non-mac linux-compatible\!