apparently it's the proper way to do it (eg in case one would ever use EB on windows ;). (don't blame me, someone also had to tell me ;)