android paths; push/pop alias; rm alias; better nautilus alias;