Ask for user input, fix weird std:: bugs