make Ctrl-P faster
get rid of linux-specific files