Some scripts to make things work