Forgot to check in makefigures.bash