filippo: use bashrc, fix prompt

Change-Id: Idddaaa6fe4425d6ff72fdf3f0aef1c7a8fdbb5dd