Some scripts to make this stuff work