due to funny ptr->int casts in EventHandler.cpp
Created attachment 132225 [details, diff] patch for 64bit pointers attached patch fixes the problems afaict
this was actually not a keyword request, I could've keyworded it myself :p just want you to take a look at it and complain