Fix Makefile to include vmcs_host headers on modern RASPI images
Fix double SwapBuffering