Workaround to fix building