Workaround for unhandled exception in linux environment