Make execute() work with fsencoded input