Hopefully fixing export of target